#include <stdio.h>
int main()
{
	int arr[13]={0};
	int j=13;
	int i=0;
	int k=0;
	do{
		i++;
		if(i==13)
			i=0;
		if(arr[i]!=-1)
		{
			k++;
			if(k==3)
			{
				printf("%d ",i+1);
				arr[i]=-1;
				--j;
				k=0;
			}
		}
	}while(j>0);
	
	return 0;
}
